mining engineer - German English Dictionary